Second Budget Report

Second Year Progress Report

This progress report is about equation-based modelling languages. In particular, the report discusses work [4] on formalising semantic aspects of Functional Hybrid Modelling (FHM) [12] – a hybrid, structurally dynamic, non-causal modelling language – in the dependently-typed programming language Agda [13]. Section 2 gives a preliminary outline of equation-based languages and FHM. Section 3 give...

CSCR010: Second Year Report

The aim of my PhD research is focused on Text Mining, one major research school in Knowledge Discovery in Databases (KDD), and in particular Text Preprocessing (TPP) for classification / categorization of documents utilizing novel algorithms for the identification of hidden patterns, rules, regularities and trends within these documents. Significant techniques in Data Mining, another wellknown ...

Second Year Report

Second Interim Report

PREFACE This report is the second in a series from the Performance Assessment Peer Review Panel. The Panel considers each successive report as an integral part of a series. Issues that have been covered previously will not be repeated unless new information or concerns arise. In preparing this report, the Panel has directed its primary attention to the methods, data, and assumptions that have b...

SUBNANOSECOND ARITHMETIC Second Report

The Stanford Nanosecond Arithmetic Project is targeted at realizing an arithmetic processor with performance approximately an order of magnitude faster than currently available technology. The realization of SNAP is predicated on an interdisciplinary approach and effort spanning research in algorithms, data representation, CAD, circuits and devices, and packaging. SNAP is visualized as an arith...